Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·2d·
Discuss: Hacker News
🔢Bitwise Algorithms
Python isdigit vs isnumeric
dev.to·8h·
Discuss: DEV
✅Format Verification
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
How the Lean language brings math to coding and coding to math
amazon.science·9h·
Discuss: Hacker News
🔬Lean
A Beginner's Guide to Skyline Queries
hackernoon.com·9h
📏Range Queries
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Why Computer Science Is No Good, Redux
cacm.acm.org·10h
🎯Performance Proofs
The Christofides Algorithm
alon.kr·12h·
Discuss: Hacker News
🕸️Graph Algorithms
Carnival of Maths #241
aperiodical.com·1d
📐Mathematical Art
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Toroidally Progressive Stratified Sampling in 1D
blog.demofox.org·2d
🌊Streaming Algorithms
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·10h
💧Liquid Types
Extensions and Shadows (9)
sites.psu.edu·1d
✨Effect Handlers
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·11h
🧮Kolmogorov Complexity
Russian Teacher Tricks American Students
mindyourdecisions.com·1d
🌀Differential Geometry
Python LeetCode 70: Climbing Stairs - (Easy)
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
What I Learned About Machine Learning – Don’t Use It!
bobbydurrettdba.com·5h
👁️System Observability
Physics+ Euler Lagrange Equation: UNIZOR.COM - Physics+ - Variations
unizor.blogspot.com·2d·
Discuss: www.blogger.com
⚔️Lean Theorem
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·6h·
Discuss: Hacker News
🦀Rust Macros